Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
201	Hyracks: A Flexible and Extensible Foundation for Data-Intensive Computing Vinayak Borkar, Michael Carey, Raman Grover, Nicola Onose, Rares Vernica Computer Science Department, University of California, Irvine Irvine, CA Add to Reading List Source URL: asterixdb.ics.uci.edu Language: English - Date: 2013-06-06 15:43:58 Computing Concurrent computing Parallel computing Hadoop Apache Software Foundation Query languages Cloud infrastructure Apache Hadoop Data-intensive computing MapReduce Pig Hash join
202	Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and Add to Reading List Source URL: www.bodden.de Language: English - Date: 2015-02-10 01:12:58 Software engineering Computing Computer programming Cross-platform software Object-oriented programming languages Procedural programming languages Concurrent programming languages Program analysis Program slicing Android Java Subroutine
203	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
204	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
205	F# is a Multiparadigm Programming Language Imperative programming in F# So far we have used F# mainly as a functional language Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-05-05 10:51:38 Software engineering Computer programming Computing Subroutines Functional languages Data types Recursion Functional programming Immutable object F Sharp Closure Assignment
206	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
207	Programmazione di sistemi multicore A.ALECTURE 7 IRENE FINOCCHI Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-10-12 06:03:05 Computing Software engineering Computer programming Concurrent programming languages Method Cilk Java Const Go Class Forkjoin model Scala
208	MONFISPOL Grant no.: DeliverableBeta-version of parallel routines: user manual. Marco Ratto, European Commission, Joint Research Centre Ivano Azzini, Houtan Bastani, Sebastien Villemot, DYNARE Team July 8, Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 08:02:14 Software Computing Parallel computing Array programming languages Cross-platform software Computer cluster Concurrent computing Command-line interface Operating system Filter MATLAB GNU Octave
209	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
210	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Workshop Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-05-05 07:44:14 Publishing Typography Application software Macro programming languages Digital typography Donald Knuth Desktop publishing software TeX Typesetting Sapientia University Mathematical object Mathematics

UPDATE